Reply to Maher and Wand

On the Almighty Wand

We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify properties about the memory heap of programs with singly-linked lists. Separation logic with two record fields is known to be undecidable by reduction of finite satisfiability for classical predicate logic with one bina...

Learning about Learning: A Response to Wand

We welcome the opportunity to respond to Wand’s careful and detailed analysis of our paper (Lewis and Schultz 2003). With the discipline’s increasing inclination to move toward fully structural strategic choice models (e.g., Signorino 1999; Morton 1999), the issues that Wand raises are important to consider, as they bear on crucial questions of model construction and interpretation. Moreover, h...

The Authors’ Reply

The Authors’ Reply

Reply to Collignon and

TO THE EDITOR—We read with interest the correspondence from Collignon and Kennedy [1] regarding the duration of carriage of resistant bacteria after travelers return from tropical regions. The authors discussed the divergence in duration using a study they published in 2010 [2] and the VOYAG-R study [3]. While the overall design of both studies is similar, some key points are not. Importantly, ...